504.04/507.19	unsat
