84.53/86.12	unsat
