71.93/72.05	unsat
