1001.10/1002.16	unsat
