83.90/86.53	unsat
