147.52/150.28	unsat
