84.81/86.77	unsat
