603.09/607.19	unsat
