147.50/150.65	unsat
