572.17/573.20	unsat
