143.57/144.43	unsat
