606.07/607.04	unsat
