86.41/86.44	unsat
