608.12/610.09	unsat
