32.26/34.59	unsat
