30.63/33.69	unsat
