607.52/610.41	unsat
