28.70/30.10	unsat
