647.52/650.96	unsat
