586.24/586.80	unsat
