28.52/30.35	unsat
