31.93/34.06	unsat
