142.62/142.98	unsat
