29.93/33.06	unsat
