544.04/547.02	unsat
