145.06/147.29	unsat
