1006.46/1008.04	unsat
