142.84/143.36	unsat
