146.78/150.47	unsat
