143.52/143.80	unsat
