647.58/650.20	unsat
