28.23/30.58	unsat
