187.56/204.78	unsat
