85.32/85.51	unsat
