147.21/150.75	unsat
