30.34/30.81	unsat
