83.11/86.46	unsat
