143.48/145.31	unsat
