81.74/85.56	unsat
