71.93/72.06	unsat
