81.66/85.26	unsat
