86.68/86.79	unsat
