142.56/144.78	unsat
