142.06/142.87	unsat
