138.14/142.27	unsat
