72.02/73.54	unsat
