147.29/150.92	unsat
