72.75/72.94	unsat
