30.29/30.34	unsat
