34.28/38.06	unsat
