142.31/142.69	unsat
