604.05/607.17	unsat
