81.33/83.02	unsat
