1005.07/1007.54	unsat
