34.93/35.06	unsat
