144.14/147.27	unsat
