use unknowns instead of Bads while constructing phis