84.25/85.91	unsat
