71.24/73.01	unsat
