72.92/73.57	unsat
