84.46/86.53	unsat
