33.83/34.09	unsat
