72.33/72.55	unsat
