142.27/144.47	unsat
