71.92/72.42	unsat
