142.57/145.27	unsat
