1004.61/1007.17	unsat
