85.14/85.43	unsat
