1006.43/1010.69	unsat
