142.57/143.72	unsat
