604.46/606.19	unsat
