138.67/142.29	unsat
