33.67/34.06	unsat
