32.26/34.81	unsat
