28.96/30.37	unsat
