30.67/30.81	unsat
