33.02/34.19	unsat
