30.35/33.12	unsat
