33.74/34.02	unsat
