69.83/72.06	unsat
