143.52/143.99	unsat
