142.28/142.67	unsat
