71.93/73.13	unsat
