142.32/147.05	unsat
